A Spatial Mobile Calculus for 3D Shapes
نویسندگان
چکیده
We present a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are speci ed with a timed CCS-like process algebra using a notion of channel to naturally model binding sites on the surface of shapes. The calculus embeds collision detection and response, binding of compatible 3D processes and split of composed 3D
منابع مشابه
Shape Calculus A spatial calculus for 3D colliding shapes
We present a bio-inspired calculus for describing 3D shapes moving in a space. A shapeforms a 3D process when combined with a behaviour. Behaviours are specified with a timedCCS-like process algebra using a notion of channel that models naturally binding sites on thesurface of shapes. Processes can represent molecules or other mobile objects. The calculusembeds collision det...
متن کاملA Calculus for Shapes in Time and Space
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and apply it to a case study. We extend a pure Duration Calculus specification for the controller by spatial assumptions to reason about spatial system properties. We prove that the formalism is undecidable in general for ...
متن کاملTowards Abstraction-Based Verification of Shape Calculus
The Shape Calculus is a bio-inspired timed and spatial calculus for describing 3D geometrical shapes moving in a space. Shapes, combined with a behaviour, form 3D processes, i.e., individual entities able to bind with other processes on compatible spatial channels and to split over previously established bonds. Due to geometrical space, timed behaviours, a wide degree of freedom in defining mot...
متن کاملShape Calculus: Timed Operational Semantics and Well-formedness
The Shape Calculus is a bio-inspired calculus for describing 3Dshapes moving in a space. A shape forms a 3D process when combinedwith a behaviour. Behaviours are specified with a timed CCS-like pro-cess algebra using a notion of channel that models naturally bindingsites on the surface of shapes. Processes can represent molecules orother mobile objects and can be part of net...
متن کامل3D Path Planning Algorithm for Mobile Anchor-Assisted Positioning in Wireless Sensor Networks
Positioning service is one of Wireless Sensor Networks’ (WSNs) fundamental services. The accurate position of the sensor nodes plays a vital role in many applications of WSNs. In this paper, a 3D positioning algorithm is being proposed, using mobile anchor node to assist sensor nodes in order to estimate their positions in a 3D geospatial environment. However, mobile anchor node’s 3D path optim...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010